EasyCheck - Test Data for Free
نویسندگان
چکیده
We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize the usefulness of logic features in its implementation and use. Free variables, nondeterminism and encapsulated search turn out to be elegant and powerful means to express test-data generation.
منابع مشابه
Compare the Effect of Mental Practice Traditional, Pettlep and Physical on Basketball Free Throw Skill
One of The mental skills that suggested by psychologists for athletes is mental imagery. Imagery is a conscious internal process that mimics real-life experience in absence of sensory perception experience. The aim of this study was to compare the effects of traditional mental practice, Pettlep and physical practice on basketball free throw skill. In this study 40 participant after evaluation w...
متن کاملNumerical Simulation of Free Surface Flows and Comparison of Symmetry and Real Boundary Conditions at the Free Surface
For implementation of the free surface boundary condition, a new subroutine has been introduced to an existing steady 3-D body fitted code. This code was previously written for steady flow simulation in closed ducts. The algorithm used in this subroutine reduces the instability problem according to the free surface wave generation. For code validation, it was applied to two different open cha...
متن کاملNumerical Simulation of Free Surface Flows and Comparison of Symmetry and Real Boundary Conditions at the Free Surface
For implementation
 of the free surface boundary condition, a new subroutine has been introduced to an existing steady 3-D body fitted code. This code was previously written for steady flow simulation in closed ducts. The algorithm used in this subroutine reduces the instability problem according to the free surface wave generation. For code validation, it was applied to two different open c...
متن کاملThe effect of using computer games on learning free throw Basketball skill and comparison with skilled and learning pattern
The aim of this experiment was to study the effect of computer game on acquisition and retention of free throw basketball skills (accuracy and pattern) and compare this method with two patterning methods (skilled and learning). 50 high school students age range 15-17 years were selected as a research samples. Subjects after participating in the pretest were divided into 5 equal groups and each ...
متن کاملExperimental and Finite Element Studies on Free Vibration of Automotive Steering Knuckle
The main aim of this research is to determine the best material for manufacturing of steering knuckle in order to reduce the weight using aluminum alloy and Metal Matrix Composite (MMC). To achieve this purpose, the Modal test has been performed to study vibrational behavior of steering knuckle. CAD Model has been prepared by using coordinate measuring machine (CMM). Finally, the Finite Element...
متن کامل